对GDX1卷烟包装机缺商标纸检测的改进

本文介绍了一种增加GDX1卷烟包装机缺商标纸检测可靠性的方法。     

烟囱内衬砌筑平台的结构设计与验算

对烟囱内衬脚手架进行改进设计 ,按照国家规范要求进行结构验算 ,提供一种新的安全施工方法。     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

坐标测量机的空间误差检测及误差修正

如何简单、迅速地获取坐标测量机的机构误差,并对其进行软件修正,是近年来国内外学者研究的一个重要课题。本文研究了三坐标测量机的误差修正理论及用三维检具检测测量机误差的方法,提出了空间球检具晶格移位法误差检测原理和多项式拟合的误差函数获得方法,并将其应用于一台中型的坐标测量机的误差修正中,收到了满意的效果。     

西门子S7-200与PC实时通讯的实现方法

利用Pcomm Pro软件，在VB6中实现PC与PLC的实时通讯。在探讨PC与PLC的自由口通讯协议、通讯的实现方法以及传输数据的校验、错误的处理等的基础上，编写了实时通讯程序，并应用到跳汰机控制系统中。     

水表计量误差校验检测的分析和评定

本文通过分析水表计量误差在车间校验台上校验检测时的系统误差和随机误差,提出了校验台系统误差的纠正方法和计量误差验收极限的确定方法.     

一种改进的实时系统可达性分析算法

首先简介了时间自动机、时钟区域、区域等价、时钟带的概念.利用时钟带,可以将时间自动机的无穷状态空间转化为有穷.实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证.然而,当系统时钟个数较多时,用DBM存储时钟带,会造成内存空间的很大耗费.该文提出了用邻接表存储时钟带,给出了改进的算法,并对算法的空间复杂度作了分析.实验表明,当时钟个数大于5时能节约很大的内存空间,从而在一定程度上缓解了状态爆炸.     

层次分析法中残缺判断矩阵的一致性比例检验法

首先阐明了检验残缺判断矩阵的传统一致性比例检验法，然后提出了适用于残缺判断矩阵的一致性比例检验新方法一残缺判断矩阵的一致性比例检验法．     

扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序...     

基于FP-tree最大频繁模式超集挖掘算法

数据挖掘应用中的最大频繁项集挖掘算法大多存在候选项目集冗余问题,造成时间和空间的浪费.针对此问题,通过构造条件FP-tree,对不符合要求的项目进行剪除并对MFIT算法进行改进,提出一种基于FP-tree的最大频繁模式超集挖掘算法.此算法无需产生大量的候选集,同时减少数据集扫描次数,降低数据库遍历时间,提高算法效率.实验证明,此算法在降低候选项目集冗余度的同时有效减少了算法运行时间.